<%
/* one parameter: preference name */
/* get the page language */

var dest = "/" + env.locale + '/Mozilla/Preferences/Preference_reference/' + $0;


%><code><a href="<%=dest%>"><%=$0%></a></code>
